Este término no debe confundirse con homeomorfismo. ————————
Un
homomorfismo, (o a veces simplemente
morfismo) desde un objeto matemático a otro de la misma clase, es una
función que es compatible con toda la estructura relevante. La noción de
homomorfismo se estudia abstractamente en el álgebra universal, y ése es el punto de vista tomado en este artículo. Una noción más general de
morfismo se estudia abstractamente en la
teoría de las categorías. Por ejemplo, si un objeto consiste en un conjunto
X con un
orden < y el otro objeto consiste en un conjunto
Y con orden {, entonces debe valer para la función
f:
X - >
Y que, si
u <
v entonces
f(
u) {
f(
v). O, si en estos conjuntos hay definidas operaciones binarias * y @, respectivamente, entonces debe valer que:
f(
u) @
f(
v) =
f(
u *
v). Ejemplos de morfismo son los homomorfismos de grupos, los
homomorfismos de anillo, los
operadores lineales, las
funciones continuas, etc.